Towards an Analysis Tool for AKL
نویسندگان
چکیده
We present a method for analysis of AKL in the spirit of abstract interpretation that strictly separates the setting up of the abstract semantic equations and the solving of these equations. The fact that AKL has concurrent semantics makes this separation particularly attractive. This document reports work in progress. It is deliverable number D.WP.1.6.1.M1.1 in the ESPRIT project ParForce 6707. A final report on the work is expected in July 1994.
منابع مشابه
AN APPROACH TOWARDS WAVE CLIMATE STUDY IN THE PERSIAN GULF AND THE GULF OF OMAN: SIMULATION AND VALIDATION
This article describes the 11-year wave simulation (1992-2002) in the Persian Gulf and the Gulf of Oman using the input data derived from European Center for Medium-Range Weather Forecasts (ECMWF). The ECMWF 10 meter wind field and spectral wave boundary condition at 18 ْN degree are input into one of the latest versions of numerical wave models (3rd generation) after a few local modifications. ...
متن کاملAkl(fd) { a Concurrent Language for Fd Programming Akl(fd) { a Concurrent Language for Fd Programming
We consider a complete implementation of an extension of the nite domain constraint system FD, including antimonotone constraints, and its integration in AKL, a deep-guard concurrent constraint language. We present the language AKL(FD), together with associated programming techniques. In particular, we show how powerful symbolic constraints can be deened as AKL(FD) programs, which is partly mad...
متن کاملIranian Students’ Attitudes towards Utilizing Smart Boards in EFL Classrooms
This study aimed at gaining insights into students’ attitudes in the learning English using the Smart Board or Interactive White Board (IWB) technology in EFL classrooms. The main goal of this paper is to evaluate students’ attitudes towards the use of Smart Board as an instructional tool on student motivation, participation, interaction and retention for learning English in Iranian schools. To...
متن کاملAn Overview of the Andorra Kernel Language
The Andorra Kernel Language (AKL) is a general combination of search-oriented nondeterministic languages, such as Prolog, and the process-oriented committedchoice languages, such as GHC [10, 8, 9]. For an introduction to the language from this perspective, see [7]. For an extensive formal treatment, see [4]. Although the Prolog programming paradigm is provided, AKL does not provide the exact op...
متن کاملAn Introduction to AKL A Multi-Paradigm Programming Language
These aspects of AKL are cleanly integrated, and provided using a minimum of basic concepts, common to them all. AKL agents will serve as processes, objects, functions, relations, or constraints, depending on the context. AKL is a programming language kernel. Some aspects of a complete programming language, a user language, have been omitted, such as type declarations and modules, a standard li...
متن کامل